Application of Methods for Syntax Analysis of Context-Free Languages to Query Evaluation of Logic Programs

摘要

My research goal is to employ a parser generation algorithm based on theEarley parsing algorithm to the evaluation and compilation of queries to logicprograms, especially to deductive databases. By means of partial deduction,from a query to a logic program a parameterized automaton is to be generatedthat models the evaluation of this query. This automaton can be compiled toexecutable code; thus we expect a speedup in runtime of query evaluation. Anextended abstract/ full version of a paper accepted to be presented at theDoctoral Consortium of the 30th International Conference on Logic Programming(ICLP 2014), July 19-22, Vienna, Austria